🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚡ Dependent Rust

Verification, Type-level Programming, Safety Proofs, Linear Types

Stable, Mutable References for Ante
antelang.org·8h·
Discuss: Hacker News, r/programming
🔒Type Safety
Sets & Heaps in Haskell and Rust
mmhaskell.com·13h
🔒Type Safety
Rust for JavaScript Engineers – Intro
afloat.boats·1d·
Discuss: Hacker News
🦀Rust Macros
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·7h·
Discuss: Hacker News
✅Format Verification
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·6h·
Discuss: DEV
🔒Type Safety
Song recommendations with F# free monads
blog.ploeh.dk·15h
🔗Functional Compilers
The Lobster Programming Language
strlen.com·2h·
Discuss: Hacker News
🔗Concatenative Programming
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·11h
🤝Paxos Consensus
FLINT: Fast Library for Number Theory
flintlib.org·3h
🧮Algebraic Datatypes
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·3d·
Discuss: Hacker News
🦀Rust Verification
Anonymous structavaganza in zig
lirk.top·4h·
Discuss: Hacker News, r/Zig
🔗Concatenative Programming
Learning Through Doing: From one language to another
blog.scottlogic.com·3d
🦀Rust Borrowing
the core of rust
jyn.dev·4d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Typeclassopedia
wiki.haskell.org·19h·
Discuss: Hacker News
🧬Functional Programming
Capture Checking in Scala
nrinaudo.github.io·16h·
Discuss: Hacker News
🧪Binary Fuzzing
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·8h·
Discuss: Hacker News
⚡Hardware Transactional Memory
OpenBSD Hackathon Leipzig 2025: Qt6 Fixes, KDE PIM, and C++26 Updates
discoverbsd.com·14h
🔍eBPF
Teaching programming languages
kmjn.org·10h
💻Programming languages
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d
🔗Functional Compilers
Loading...Loading more...
AboutBlogChangelogRoadmap